- dependent program
- n COMP abhängiges Programm nt
Dictionary English-German Informatics. 2015.
dependent program
Schlagen Sie auch in anderen Wörterbüchern nach:
Dependent ML — is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a… … Wikipedia
Program Management — is the process of managing multiple ongoing inter dependent projects. An example would be that of designing, manufacturing and providing support infrastructure for an automobile manufacturer. This requires hundreds, or even thousands, of separate … Wikipedia
Dependent States — ▪ 2009 Introduction Europe and the Atlantic. For a list of populated Dependent States, see Table (Dependent States). In May 2008 Ilulissat, Greenland, was the site of an international summit on Arctic sovereignty attended by official… … Universalium
Program optimization — For algorithms to solve other optimization problems, see Optimization (mathematics). In computer science, program optimization or software optimization is the process of modifying a software system to make some aspect of it work more efficiently… … Wikipedia
Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Program slicing — In computer programming, program slicing is the computation of a program slice. The program slice consists of the parts of a program that may affect the values computed at some point of interest, referred as a slicing criterion. Program slicing… … Wikipedia
Program for Evaluating Complementary Medicine — In 1998, the Swiss government began a comprehensive Program for Evaluating Complementary Medicine (PEK : Programm Evaluation Komplementärmedizin = Program for Evaluating Complementary Medicine) to study the role and effectiveness of complementary … Wikipedia
program evaluation and review technique — noun A method for diagramming and analyzing the flow of dependent tasks and other events in a project. Syn: PERT … Wiktionary
machine dependent — program which can only run on one type of computer … English contemporary dictionary
Supplemental Nutrition Assistance Program — SNAP logo The United States Supplemental Nutrition Assistance Program (SNAP),[1] historically and commonly known as the Food Stamp Program, is a federal assistance program that provides assistance to low and no income people … Wikipedia
Food Stamp Program — The US Food Stamp Program is a federal assistance program that provides food to low and no income people living in the United States. Benefits are distributed by the individual states, but the program is administered through the U.S. Department… … Wikipedia
